(declare-const v0 Bool)
(declare-const v6 Bool)
(declare-const v8 Bool)
(declare-const v13 Bool)
(declare-const i7 Int)
(declare-const i8 Int)
(declare-const i17 Int)
(declare-const v19 Bool)
(declare-const v24 Bool)
(declare-const v25 Bool)
(assert (or v25 (distinct 73 (- 28 85 i7 i8)) v19))
(assert (=> v13 v0))
(assert v6)
(assert v24)
(assert (or (distinct i7 i17) v8 v25))
(check-sat)
(assert true)
(check-sat)
(check-sat)
